#!/bin/bash
BENCHMARK=superblue10
DIRECTORY=~/Testbench/$BENCHMARK
cp walle $DIRECTORY
date
$DIRECTORY/walle $DIRECTORY/$BENCHMARK.aux $DIRECTORY/$BENCHMARK.legal 0.53 $DIRECTORY/$BENCHMARK.pl 25000
date
$DIRECTORY/iccad2013_check_legality $DIRECTORY/$BENCHMARK.aux $DIRECTORY/circuit.pl
